Advances in proof theory
- Författare
- (Edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.)
- Målgrupp
- Specialist
- Genre
- Festschrift
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2016 | Schweiz, Cham | xii, 425 sidor. | 978-3-319-29196-3 |